package sketch.experiment.sketchguidedrandom.tinysql;

import sketch.ounit.fuzz.SketchGuidedRandomTestGenerator;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchGuidedTinySqlTest extends TestCase {

	public static Test suite() {
		return new TestSuite(SketchGuidedTinySqlTest.class);
	}
	
	public void testSimplestMulti() {
		String filePath = "./tmp/TinySqlConstrainsTest.java";
		String junitclass = "TinySqlConstrainsTest";
		int timelimit = 30;
		SketchGuidedRandomTestGenerator generator = new SketchGuidedRandomTestGenerator(filePath, junitclass, timelimit);
		generator.generate_tests();
	}
}
